R. Piskač: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Lazy counterfactual symbolic execution

Hallahan, William T., Xue, Anton, Bland, Maxwell Troy, Jhala, Ranjit, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 343 KB

english, 2019

2

AliEn—ALICE environment on the GRID

P. Saiz, L. Aphecetche, P. Bunčić, R. Piskač, J.-E. Revsbech, V. Šego

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2003

Language:

english

File:

PDF, 98 KB

english, 2003

3

Recent Dioxin Contamination From Agent Orange in Residents of a Southern Vietnam City

Schecter, Arnold, Cao Dai, Le, P??pke, Olaf, Prange, Joelle, Constable, John D., Matsuda, Muneaki, Duc Thao, Vu, Piskac, Amanda L.

Journal:

Journal of Occupational & Environmental Medicine

Year:

2001

Language:

english

File:

PDF, 347 KB

english, 2001

4

[ACM Press the 6th ACM SIGPLAN International Workshop - St. Louis, MO, USA (2018.09.29-2018.09.29)] Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design - FARM 2018 - Programming-by-example for audio: synthesizing digital signal processing programs

Santolucito, Mark, Rogers, Kate, Lombardo, Aedan, Piskac, Ruzica

Year:

2018

Language:

english

File:

PDF, 909 KB

english, 2018

5

[ACM Press the 12th ACM SIGPLAN International Symposium - Berlin, Germany (2019.08.22-2019.08.23)] Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 - Synthesizing functional reactive programs

Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica, Santolucito, Mark

Year:

2019

Language:

english

File:

PDF, 8.50 MB

english, 2019

6

Automated repair by example for firewalls

Hallahan, William T., Zhai, Ennan, Piskac, Ruzica

Journal:

Formal Methods in System Design

Year:

2020

File:

PDF, 1.05 MB

2020

7

Variants in folate pathway genes as modulators of genetic instability and lung cancer risk

Amanda L. Piskac-Collier, Claudia Monroy, Mirtha S. Lopez, Andrea Cortes, Carol J. Etzel, Anthony J. Greisinger, Margaret R. Spitz, Randa A. El-Zein

Journal:

Genes, Chromosomes and Cancer

Year:

2011

Language:

english

File:

PDF, 304 KB

english, 2011

8

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

Ruzica Piskac, Leonardo de Moura, Nikolaj Bjørner

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 875 KB

english, 2010

9

Levels of dioxins and dibenzofurans in breast milk of women residing in two cities in the Irkutsk region of Russian Siberia compared with American levels

A Schecter, A.L Piskac, E.I Grosheva, N.I Matorova, J.J Ryan, P Fürst, O Päpke, J Adibi, M Pavuk, A Silver, S Ghaffar

Journal:

Year:

2002

Language:

english

File:

PDF, 483 KB

english, 2002

10

Characterization of dioxin exposure in firefighters, residents, and chemical workers in the Irkutsk Region of Russian Siberia

A Schecter, M Pavuk, D.A Amirova, E.I Grosheva, O Päpke, J.J Ryan, J Adibi, A.L Piskac

Journal:

Year:

2002

Language:

english

File:

PDF, 282 KB

english, 2002

11

Systemic thrombolytic therapy in acute ischemic stroke — New experiences in spreading network of stroke units in Croatia

Vesna Matijević, Zdravka Poljaković, Branko Malojčić, Antonija Mišmaš, Antonela Bazina, Marina Boban, Ivica Bilić, Branko Radanović, Klaudia Duka Glavor, Spomenka Kiđemet-Piskač, Mario Habek

Journal:

Journal of the Neurological Sciences

Year:

2012

Language:

english

File:

PDF, 146 KB

english, 2012

12

Functional synthesis for linear arithmetic and sets

Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 843 KB

english, 2013

13

Circulating levels of leptin, adiposity and breast cancer risk

Piskac-Collier, A.L., Chang, S.

Journal:

Breast Diseases: A Year Book Quarterly

Year:

2009

Language:

english

File:

PDF, 40 KB

english, 2009

14

[IEEE Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Koblenz, Germany (2005.09.7-2005.09.9)] Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Verification of an off-line checker for priority queues

de Nivelle, H., Piskac, R.

Year:

2005

Language:

english

File:

PDF, 315 KB

english, 2005

15

Lindane-Induced Generation of Reactive Oxygen Species and Depletion of Glutathione do not Result in Necrosis in Renal Distal Tubule Cells

Piskac-Collier, Amanda L., Smith, Mary Ann

Journal:

Journal of Toxicology and Environmental Health

Year:

2009

Language:

english

File:

PDF, 655 KB

english, 2009

16

DIOXINS IN COMMERCIAL UNITED STATES BABY FOOD

Schecter, Arnold, Wallace, Deborah, Pavuk, Marian, Piskac, Amanda, Päpke, Olaf

Journal:

Journal of Toxicology and Environmental Health

Year:

2002

Language:

english

File:

PDF, 123 KB

english, 2002

17

Light bulbs take a while to get going

Journal:

Physics Education

Year:

2006

Language:

english

File:

PDF, 47 KB

english, 2006

18

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - The FMCAD 2014 graduate student forum

Year:

2014

Language:

english

File:

PDF, 148 KB

english, 2014

19

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - Complete functional synthesis

Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe

Year:

2010

Language:

english

File:

PDF, 502 KB

english, 2010

20

Software synthesis procedures

Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 2.35 MB

english, 2012

21

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Complete completion using types and weights

Gvero, Tihomir, Kuncak, Viktor, Kuraj, Ivan, Piskac, Ruzica

Year:

2013

Language:

english

File:

PDF, 713 KB

english, 2013

22

Cardiotoxicity of yew

Piskač, Ondřej, Stříbrný, Jan, Rakovcová, Hana, Malý, Martin

Journal:

Year:

2015

Language:

english

File:

PDF, 1.34 MB

english, 2015

23

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - From Decision Procedures to Synthesis Procedures

Year:

2015

Language:

english

File:

PDF, 370 KB

english, 2015

24

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - StriSynth: Synthesis for Live Programming

Gulwani, Sumit, Mayer, Mikael, Niksic, Filip, Piskac, Ruzica

Year:

2015

File:

PDF, 680 KB

2015

25

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - StriSynth: Synthesis for Live Programming

Gulwani, Sumit, Mayer, Mikael, Niksic, Filip, Piskac, Ruzica

Year:

2015

Language:

english

File:

PDF, 680 KB

english, 2015

26

Complete functional synthesis

Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 502 KB

english, 2010

27

Positron emission tomography-computed tomography and 4-hydroxynonenal-histidine immunohistochemistry reveal differential onset of lipid peroxidation in primary lung cancer and in pulmonary metastasis of remote malignancies

Živković, Nevenka Piskač, Petrovečki, Mladen, Lončarić, Čedna Tomasović, Nikolić, Igor, Waeg, Georg, Jaganjac, Morana, Žarković, Kamelija, Žarković, Neven

Journal:

Year:

2017

Language:

english

File:

PDF, 535 KB

english, 2017

28

[ACM Press the 1st International Workshop - Pittsburgh, PA, USA (2017.04.18-2017.04.21)] Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles - SCAV'17 - Vehicle Platooning Simulations with Functional Reactive Programming

Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica, Santolucito, Mark

Year:

2017

Language:

english

File:

PDF, 5.70 MB

english, 2017

29

An auditing language for preventing correlated failures in the cloud

Zhai, Ennan, Piskac, Ruzica, Gu, Ronghui, Lao, Xun, Wang, Xi

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 525 KB

english, 2017

30

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Automated repair by example for firewalls

Hallahan, William T., Zhai, Ennan, Piskac, Ruzica

Year:

2017

Language:

english

File:

PDF, 212 KB

english, 2017

31

Evaluation of cerebrospinal fluid phosphorylated tau 231 as a biomarker in the differential diagnosis of Alzheimer's disease and vascular dementia

Kiđemet-Piskač, Spomenka, Babić Leko, Mirjana, Blažeković, Antonela, Langer Horvat, Lea, Klepac, Nataša, Sonicki, Zdenko, Kolenc, Danijela, Hof, Patrick R., Boban, Marina, Mimica, Ninoslav, Borovečki,

Journal:

CNS Neuroscience & Therapeutics

Year:

2018

Language:

english

File:

PDF, 728 KB

english, 2018

32

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 4.95 MB

english, 2018

33

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Executable Counterexamples in Software Model Checking

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

34

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Lattice-Based Refinement in Bounded Model Checking

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 801 KB

english, 2018

35

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || A Tree-Based Approach to Data Flow Proofs

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 458 KB

english, 2018

36

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Verified Certificate Checking for Counting Votes

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 563 KB

english, 2018

37

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || A Java Bytecode Formalisation

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 905 KB

english, 2018

38

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) ||

Enea, Constantin, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 22.43 MB

english, 2019

39

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) || Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics

Enea, Constantin, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 751 KB

english, 2019

40

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) || Parametric Timed Broadcast Protocols

Enea, Constantin, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 464 KB

english, 2019

41

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) || Termination of Nondeterministic Probabilistic Programs

Enea, Constantin, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 750 KB

english, 2019

42

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) || Lazy but Effective Functional Synthesis

Enea, Constantin, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 669 KB

english, 2019

43

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) || Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking

Enea, Constantin, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 398 KB

english, 2019

44

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) || A Practical Algorithm for Structure Embedding

Enea, Constantin, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 1.20 MB

english, 2019

45

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 11388 (20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings) || Demand Control-Flow Analysis

Enea, Constantin, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 860 KB

english, 2019

46

A Retrospective Study of Ultrasound Characteristics and Macroscopic Findings in Confirmed Malignant Pleural Effusion

Piskac Zivkovic, Nevenka, Cikara, Igor, Novak, Nina Petra, Brkljacic, Boris, Tudoric, Neven

Journal:

Pulmonary Medicine

Year:

2019

File:

PDF, 2.06 MB

2019

47

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Lazy counterfactual symbolic execution

Hallahan, William T., Xue, Anton, Bland, Maxwell Troy, Jhala, Ranjit, Piskac, Ruzica

Year:

2019

File:

PDF, 343 KB

2019

48

[ACM Press the 12th ACM SIGPLAN International Symposium - Berlin, Germany (2019.08.22-2019.08.23)] Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 - G2Q: Haskell constraint solving

Hallahan, William T., Xue, Anton, Piskac, Ruzica

Year:

2019

Language:

english

File:

PDF, 785 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски